projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c319160 95d807a)
Merge branch 'ci-error-report' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sun, 12 Apr 2020 13:58:55 +0000 (13:58 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sun, 12 Apr 2020 13:58:55 +0000 (13:58 +0000)
ci: Count 'ERROR' codes as failures

See merge request GNOME/gtk!1674


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.